More from this Author
Found 5 books by Keijiro Araki (Editor)
High Performance Computing
by Constantine Polychronopoulos (Editor), Kazuki Joe (Editor), Keijiro Araki (Editor), Makoto Amamiya (Editor)
IFM 99
by Keijiro Araki (Editor), Andy Galloway (Editor), Kenji Taguchi (Editor)
Ifm'99
by Keijiro Araki (Editor), Andy Galloway (Editor), Kenji Taguchi (Editor)
Formal Methods and Software Engineering
by Shaoying Liu (Editor), Tom Maibaum (Editor), Keijiro Araki (Editor)
FME 2003: Formal Methods
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)